derived{-}seq($f$;$s$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$s$/$k$,$g$. $\lambda$$n$.$\langle$$k$$,\,$$\lambda$$i$.$f$($n$+$g$($i$))$\rangle$